$\forall$$r$:Rng, $a$:$\mid$$r$$\mid$. {-}$r$({-}$r$($a$)) = $a$